was captain nemo and the nautilus real ...